🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Verification
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
AI in open source: fighting bias in AI analysis
rainer.gerhards.net
·
11h
·
Discuss:
Hacker News
🔄
Compiler Design
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com
·
1d
🔄
Compiler Design
The Baby Paradox in Haskell
blog.jle.im
·
11h
·
Discuss:
Hacker News
🔄
Compiler Design
Technical Sales & Presales 101: The very basics
lukasniessen.com
·
14h
·
Discuss:
r/programming
⚡
Performance Engineering
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com
·
7h
·
Discuss:
Hacker News
🗄
Database Systems
Simpler Category Theory
ryanbrewer.dev
·
1d
·
Discuss:
Hacker News
🔄
Compiler Design
how to decide on the sequence of computable numbers
academia.edu
·
1d
·
Discuss:
Hacker News
,
r/programming
🔄
Compiler Design
Building a Regex Engine
abstractsyntaxseed.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Compiler Design
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com
·
1d
·
Discuss:
Hacker News
🚢
DevOps
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org
·
19h
·
Discuss:
Hacker News
🔍
eBPF
Guide to Rapidly Improving AI Products Part 2
newsletter.eng-leadership.com
·
1d
·
Discuss:
r/programming
🚢
DevOps
Fearless Programming with Rust
infoq.com
·
16h
·
Discuss:
Hacker News
📦
WebAssembly
Making Sense of AI Job Titles
dbreunig.com
·
9h
·
Discuss:
Hacker News
🚢
DevOps
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org
·
1d
·
Discuss:
Hacker News
🔄
Compiler Design
SPL Lightweight Multisource Mixed Computation Practices
github.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🔌
Network Programming
What it took to make a multi-agent trading simulation durable and observable
union.ai
·
16h
·
Discuss:
Hacker News
🚢
DevOps
What Claude Code gets right
minusx.ai
·
13h
·
Discuss:
Hacker News
🚢
DevOps
Structured (Synchronous) Concurrency
fsantanna.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔌
Network Programming
AI SRE Needs More Than AI: It Needs Operational Context
rootly.com
·
11h
·
Discuss:
Hacker News
🚢
DevOps
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com
·
1d
·
Discuss:
Hacker News
,
r/devops
🚢
DevOps
Loading...
Loading more...
Page 2 »